/// Files: fs/f2fs/dir.c
/// Fix: 720db068634c91553a8e1d9a0fcd8c7050e06d2b
/// Detect-To: 4e240d1bab1ead280ddf5eb05058dba6bbd57d10

virtual detect

@err@
position p;
statement S;
@@

f2fs_fill_dentries(...)
{
	...
	bit_pos += ...;
*	if (unlikely(bit_pos > d->max))@p S
	...
}

@script:python depends on detect@
p << err.p;
@@

coccilib.report.print_report(p[0])
